Laboratorio Web para prototipado y verificación de sistemas hardware/software

Versión electrónica de la ponencia presentada en Jornadas de Computación Reconfigurable y Aplicaciones, celebrado en Madrid en 2003En este trabajo se presenta un laboratorio Web basado en plataformas reconfigurables. El usuario sólo necesita un ordenador personal con acceso a Web para implementar un prototipo de un sistema digital, siendo posible además verificar su funcionamiento. El entorno permite trabajar en remoto con las herramientas de síntesis e implementación de un diseño digital en un circuito FPGA desde una descripción VHDL. También es posible la compilación en remoto de código fuente descrito en C para ser ejecutado en el procesador embebido de la plataforma. El laboratorio se ha probado con éxito para complementar los contenidos teóricos de un curso de postgrado. Los experimentos incluyen la realización de sistemas especializados que involucran: el estudio de la interface de los componentes hardware específicos y el procesador con el que intercambian datos, la verificación de un prototipo de procesador implementado en FPGA y el desarrollo de módulos hardware para aplicaciones en robótica. En todos los casos el usuario consigue una implementación de un prototipo del sistema completamente operativo para su utilización directa en aplicaciones prácticas.Este trabajo ha sido parcialmente financiado por los proyectos TIC2000-0464 y TIC2001- 2688-C03-03 y del Ministerio de Ciencia y Tecnología

MicroBlaze en sistemas embebidos para aplicaciones criptográficas

En este trabajo se presenta un estudio sobre el “Soft Core Processor” MicroBlaze como microprocesador en sistemas embebidos para aplicaciones que involucran algoritmos de criptografía. Se analiza el rendimiento alcanzado para un conjunto representativo de los algoritmos simétricos más empleados: DES, 3DES, IDEA, BLOWFISH y AES. Se proponen diferentes arquitecturas del sistema que aprovechen mejor los recursos internos del microprocesador. Se estudia la mejora de rendimiento asociada con cada variación de la arquitectura interna, y se compara con la integración en el sistema de un core de cifrado específico, implementado en el hardware reconfigurable. Los resultados obtenidos permiten concluir que MicroBlaze puede ser considerado un serio candidato para este tipo de aplicaciones.Trabajo financiado por los proyectos 07T/0052/2003-3 de la Consejería de Educación de la CAM y TIC2001-2688-C03-03 del Ministerio de Ciencia y Tecnología de España

FlexiMC Framework: framework flexible para model checking

Los algoritmos de verificación de modelos (Model Checking) verifican una fórmula lógica sobre un modelo. Esta técnica permite tanto comprobar un correcto funcionamiento como descubrir errores de diseño y es aplicable a una gran variedad de campos. Una desventaja común al utilizar esta técnica es que dichos modelos deben ser traducidos al lenguaje concreto del sistema de Model Checking. El framework que aquí se presenta permite adaptar la técnica a los lenguajes, soportando la definición y uso de lenguajes específicos del dominio de forma directa, además de otras facilidades como permitir una visualización de contraejemplos personalizada o una gran flexibilidad en los algoritmos a usar. [ABSTRACT] Model Checking algorithms verify whether a logical formula holds in a model. Such technique allows checking the correct functionality of the modeled system as well as finding design mistakes, and can be applied in a wide variety of fields. A typical disadvantage of using this technique is the need to translate such models to the concrete Model Checking system language. The framework presented here allows adapting the technique to different languages, supporting the definition and use of domain specific languages directly. It also incorporates some other facilities like the creation of customized counter-example viewers or allowing the replacement of the specific algoritms used in the checking.Model Checking algorithms verify whether a logical formula holds in a model. Such technique allows checking the correct functionality of the modeled system as well as finding design mistakes, and can be applied in a wide variety of fields. A typical disadvantage of using this technique is the need to translate such models to the concrete Model Checking system language. The framework presented here allows adapting the technique to different languages, supporting the definition and use of domain specific languages directly. It also incorporates some other facilities like the creation of customized counter-example viewers or allowing the replacement of the specific algoritms used in the checking

El mercado del fitness en España: Un estudio exploratorio sobre el perfil económico del segmento low-cost

El fenómeno de la irrupción de los centros lowcost en España comenzó en 2010 durante la etapa de recesión económica. A pesar de su rápido crecimiento y el impacto que ha tenido en el mercado del fitness, apenas ha sido analizado. El objetivo del estudio fue describir las variables de identificación, estructura corporativa y perfil económico-financiero del segmento lowcost de fitness, analizando las diferencias entre empresas con y sin accionistas. Se llevó a cabo una búsqueda en el sistema de análisis de balances ibérico (SABI), del cual se extrajo información de una muestra de 25 de los 39 operadores con presencia en España. Los resultados informan de un conjunto de compañías jóvenes, de las cuales solo un 40% posee accionistas y participadas. En este segmento, el mercado está atomizado en torno a cinco grandes cadenas, en su mayoría extranjeras, que concentran el grueso de los centros, la facturación y el empleo. Se observa mucha diversidad respecto a identificación y estructura corporativa, sin embargo en relación al perfil económico-financiero se observa una tendencia común: la inmensa mayoría de los operadores analizados presenta un resultado del ejercicio y una ratio de rentabilidad económica en negativo y su endeudamiento está próximo al 100% de los activos totalesThe emergence of low-cost gyms in Spain took place in 2010 during an economic recession. Despite this rapid growth and the impact it has had on the fitness market, research in this area is scarce. The aim of the study was to describe the identified variables, corporate structure and economic-financial profile of this low-cost segment of fitness, analysing the differences between companies with and without shareholders. The study conducted a search of the Iberian balance sheets analysis system (SABI), which extracted information from a sample of 25 of the 39 operators present in Spain. The results suggested a set of young companies, of which only 40% have shareholders and subsidiaries. In this segment, the market is fragmented around five large chains, mostly foreign, which account for the bulk of the centres, sales and employment. Much diversity is observed in the corporate structure, however, regarding the economic and financial profile, a common trend is observed; the majority of analysed operators close their fiscal year in losses, have a ratio of negative profitability and debt is close to 100% of total assetsActividad Física y Deport

Farmacovigilancia activa a través de medicamentos trazadores en una clínica de III Nivel en la ciudad de Bogotá D. C.

Se realizó dentro de una clínica de III nivel de la cuidad de Bogotá un estudio con medicamentos trazadores de RAM con el fin de justificar la implementación de un programa de farmacovigilancia en la clínica, para ello se tomaron los pacientes hospitalizados en los pisos 7-8-9 del servicio de hospitalización, además de eso los pacientes de urgencias y UCI a quienes se les haya prescrito uno de los medicamentos trazadores escogidos para el estudio, se tuvo en cuenta los pacientes quienes cumplían con las características mencionadas anteriormente y que hayan estado hospitalizados en los periodos entre agosto y septiembre del año 2015, tiempo en el cual se realizó el estudio, los resultados obtenidos dentro de este, nos arrojó que de los 132 pacientes que se tuvieron inicialmente, solamente 17 de ellos se les prescribió alguno de los medicamentos para tratar una RAM presentada, los otros pacientes se les prescribió para una patología diferente al interés del estudio, a estos pacientes se les analizó tanto la causalidad, la seriedad y el tipo de ram que se presentó, realizado todo esto, se pudo concluir que el medicamento más eficaz encontrado dentro del estudio fue la naloxona con un 100% de efectividad, seguido de la vitamina k con un 24%, la hidroxicina con 19%, la clemastina con 11% y la hidrocortisona con un 9% , se recomienda continuar con el seguimiento de los casos reportados, así como extender el programa a los demás servicios que se encuentren dentro de la clínica.It was performed in a clinic III level of the city of Bogota tracer study drugs RAM in order to justify the implementation of a pharmacovigilance program at the clinic, patients hospitalized for it on floors 7-8 took -9 hospitalization service, besides that emergency patients and ICU who have been prescribed one of the tracer drugs chosen for the study took into account patients who met the features mentioned above and have been hospitalized in the periods between August and September 2015, at which time the study was conducted, the results obtained in this, threw us that of the 132 patients who initially had only 17 of them were prescribed any medications to treat a RAM filed, the other patients were prescribed for a different pathology to the interest of the study, these patients were analyzed both causality, seriousness and type of ram was presented, realized all this, it was concluded that the most effective drug found in the study was the naloxone with 100% effectiveness, followed by vitamin k with 24%, hydroxyzine with 19%, clemastine with 11% and hydrocortisone with 9%, it is recommended to continue with tracking reported cases and extend the program to other services that are within the clinic.PregradoQuímico(a) Farmacéutic

Operator-valued Fourier multipliers on toroidal Besov spaces

We prove in this paper that a sequence M: Zn → L(E) of bounded variation is a Fourier multiplier on the Besov space Bsp, q(Tn, E) for s ∈ R, 1 p ∞, 1 ≤ q ≤ ∞ and E a Banach space, if and only if E is a UMD-space. This extends the Theorem 4.2 in [3] to the n-dimensional case. As illustration of the applicability of this results we study the solvability of two abstract Cauchy problems with periodic boundary conditions.En el presente artículo se prueba que una sucesión M: Zn → L(E) de variación acotada, es un multiplicador de Fourier sobre el espacio de Besov Bsp, q(Tn, E) para s ∈ R, 1  p  ∞, 1 ≤ q ≤ 1 y E un espacio de Banach, si y solo si, E es un espacio UMD. Este resultado extiende el Teorema 4.2 en [3] al caso n-dimensional. Como ilustración de la aplicabilidad de este resultado, se estudia la solubilidad de dos problemas de Cauchy abstractos con condiciones de frontera periódicas

Sedimentación de plataforma interna-externa con desarrollo de montículos en el Viseense del sector central de la Sierra de la Estrella (Carbonífero, Córdoba)

En la Sierra de la Estrella (Área del Guadiato, Córdoba) se localiza una sucesión del Viseense superior, principalmente carbonatada, con desarrollo de montículos tipo mud-mound. En esta zona predominan calizas bioclásticas, brechoideas y bioconstruidas, aunque también se localizan niveles de areniscas y conglomerados. Se han identificado un total de 7 litofacies que agrupan a su vez a 9 microfacies tipo: 1.–Mudstonewackestone con cavidades estromatactoideas y fábricas fenestrales, 2.–Wackestonepackstone con algas y bioclastos, 3.1.–Packstone de pseudopeloides, 3.2.–Packstone con algas, pseudopeloides y litoclastos, 4.1.–Packstone de briozoos y crinoideos, 4.2.–Packstone con algas y espículas, 5.–Packstone-rudstone de litoclastos, 6.–Grainstone de cortoides y litoclastos, 7.–Arenitas híbridas. El ambiente de sedimentación se interpreta como una zona de transición entre rampa interna y externa carbonática con influencia de terrígenos y desarrollo de montículos microbianos. [ABSTRACT] Late Viséan calcareous rocks containing buildups occur in the Sierra de la Estrella, Guadiato Valley. Bioclastic, breccioid and biohermal limestones as well as sandstones and conglomerates occur. Lithofacies analysis allow to identify 7 types, with 9 characteristic microfacies: 1.–Micropeloidal mudstone-wackestone with stromatactoid cavities and fenestral fabrics, 2.–Algal-bioclastic wackestone-packstone, 3.1.–Pseudopeloidal packstone, 3.2.–Packstone with algae, pseudopeloids and lithoclast, 4.1.–Bryozoal-crinoidal packstone, 4.2.–Packstone with algae and sponge spiculae, 5.–Packstone-rudstone with lithoclasts, 6.–Cortoid-lithoclasts grainstone, 7.–Hybrid sandstones. Sediments are attributed to a inner to outer carbonate ramp with sporadic terrigenous influence. Some microbial mounds developed in such environment

Colección de prácticas de acústica de recintos

Grado en Ingeniería de Sistemas Audiovisuales. Asignatura: Acústica de recintosEl objetivo de la asignatura optativa Acústica de Recintos es complementar el contenido de la asignatura troncal Sistemas Electroacústicos y Sonorización, en dos aspectos básicos: El desarrollo de las teorías clásicas de propagación acústica que describen el comportamiento del campo sonoro en el interior de un recinto (estadística, geométrica y ondulatoria) y la profundización en los conceptos de acondicionamiento acústico y aislamiento acústico. Como parte del material de la asignatura Acústica de Recintos, este manual docente incluye los enunciados de tres prácticas a impartir durante la asignatura. Las dos primeras prácticas tienen el objetivo de que el alumno se familiarice con los softwares de simulación acústica en recintos cerrados. De esta forma, es posible reproducir el campo sonoro de recintos existentes o incluso obtener información sobre cómo sonarían recintos que no existen en la actualidad. El manejo de este tipo de paquetes software es muy importante para el alumno, puesto que este tipo de herramientas son básicas para desarrollar entornos de realidad acústica virtual donde se puedan realizar auralizaciones que permitan obtener una representación sonora del espacio simulado. De igual forma, este tipo de herramientas softwares son ampliamente utilizadas en la sonorización de eventos de gran envergadura. La tercera práctica incluye la medida del aislamiento a ruido aéreo entre locales como una forma de cuestionar la mayoría de requisitos que impone la normativa sobre este tipo de medidas, especialmente en lo referente a la medida de tiempo de reverberación y el muestreo del campo sonoro